type A = string => boolean | number;
